#include <stdio.h>

int	main( void)
{
#ifdef DEBUG
	printf( "Debugging version...\n");
#endif
printf( "Hello world\n");
return 0;
}
